The two-agent claims-truncated proportional rule has no consistent extension: A constructive proof

A constructive proof of Simpson's Rule

For most purposes, one can replace the use of Rolle’s theorem and the mean value theorem, which are not constructively valid, by the law of bounded change [3]. The proof of two basic results in numerical analysis, the error term for Lagrange interpolation and Simpson’s rule, however seem to require the full strength of the classical Rolle’s Theorem. The goal of this note is to justify these two...

No proof that predator culls save livestock, study claims.

Anterior Cruciate Ligament Reconstruction with Hamstring Tendons Has no Deleterious Effect on Hip Extension Strength

Background: Hamstring tendons are secondary hip extensors. Their harvest for graft in anterior cruciate ligament(ACL) reconstruction may create deleterious effect on hip extension strength. This is of particular importance in sportsthat need powerful hip extension force like climbing and sprinting. Due to scarcity of a comprehensive study in thisarea, we designed this prospect...

Group order preservation and the proportional rule for the adjudication of conflicting claims

We investigate the existence of rules for the adjudication of conflicting claims satisfying ‘group order preservation’: given two groups of claimants, suppose that the sum of the claims of the members of the first group is greater than or equal to the sum of the claims of the members of the second group. Then, similar inequalities should hold for the sums of the awards to the members of the two...

The Simply-typed Theory of -conversion Has No Maximum Extension

It is proved that no maximum consistent extension exists for the simply-typed theory of-conversion.